val envlist :
  < activate : string -> unit; best_show : unit -> unit;
    can_save_something : bool;
    ch_colors : ((int * int * int) * float) list -> unit -> unit;
    changetauscale : (float * float) array array ->
                     float array array ->
                     int -> int -> float -> float -> float -> unit -> unit;
    focus : unit -> unit; get_dir : float * float * float;
    init : unit -> unit; init_fullmode : float -> float -> float -> unit;
    poschange : int -> float * float * float -> bool -> unit;
    print_focus : unit -> string;
    print_pos : float * float * float -> string; push : string -> unit;
    save_alt : string -> unit; save_contour : string -> unit;
    save_obj : string -> unit;
    set_pos_dir : (float * float * float) * (float * float * float) -> unit;
    set_speed : float -> unit; show_back : unit -> unit;
    show_center : unit -> unit; show_down : unit -> unit;
    show_front : unit -> unit; show_l : unit -> unit; show_r : unit -> unit;
    show_up : unit -> unit; switch_to_edit_mode : unit;
    switch_to_normalmode : unit -> unit; switch_to_pickcolormode : unit;
    switch_to_viewmode : unit -> unit >
  list ref
val currenv :
  < activate : string -> unit; best_show : unit -> unit;
    can_save_something : bool;
    ch_colors : ((int * int * int) * float) list -> unit -> unit;
    changetauscale : (float * float) array array ->
                     float array array ->
                     int -> int -> float -> float -> float -> unit -> unit;
    focus : unit -> unit; get_dir : float * float * float;
    init : unit -> unit; init_fullmode : float -> float -> float -> unit;
    poschange : int -> float * float * float -> bool -> unit;
    print_focus : unit -> string;
    print_pos : float * float * float -> string; push : string -> unit;
    save_alt : string -> unit; save_contour : string -> unit;
    save_obj : string -> unit;
    set_pos_dir : (float * float * float) * (float * float * float) -> unit;
    set_speed : float -> unit; show_back : unit -> unit;
    show_center : unit -> unit; show_down : unit -> unit;
    show_front : unit -> unit; show_l : unit -> unit; show_r : unit -> unit;
    show_up : unit -> unit; switch_to_edit_mode : unit;
    switch_to_normalmode : unit -> unit; switch_to_pickcolormode : unit;
    switch_to_viewmode : unit -> unit >
  option ref
val tool_buttons : GButton.button option array
val set_currentenv :
  < activate : string -> unit; best_show : unit -> unit;
    can_save_something : bool;
    ch_colors : ((int * int * int) * float) list -> unit -> unit;
    changetauscale : (float * float) array array ->
                     float array array ->
                     int -> int -> float -> float -> float -> unit -> unit;
    focus : unit -> unit; get_dir : float * float * float;
    init : unit -> unit; init_fullmode : float -> float -> float -> unit;
    poschange : int -> float * float * float -> bool -> unit;
    print_focus : unit -> string;
    print_pos : float * float * float -> string; push : string -> unit;
    save_alt : string -> unit; save_contour : string -> unit;
    save_obj : string -> unit;
    set_pos_dir : (float * float * float) * (float * float * float) -> unit;
    set_speed : float -> unit; show_back : unit -> unit;
    show_center : unit -> unit; show_down : unit -> unit;
    show_front : unit -> unit; show_l : unit -> unit; show_r : unit -> unit;
    show_up : unit -> unit; switch_to_edit_mode : unit;
    switch_to_normalmode : unit -> unit; switch_to_pickcolormode : unit;
    switch_to_viewmode : unit -> unit > ->
  unit
val exitProg : unit -> unit
val mainwin : GWindow.window
val fullwin : GPack.box
exception NotInitialized
val v : 'a option -> 'a
class draggable_content :
  'a ->
  (GObj.widget -> unit) ->
  string -> object val contener : GBin.frame method contener : GBin.frame end
class mapenv :
  ('a -> 'b) ->
  GPack.notebook ->
  GMisc.statusbar ->
  GButton.toolbar ->
  string ->
  string ->
  < connect : < clicked : callback:(unit -> unit) -> 'c; .. >; .. > option
  array ->
  object ('a)
    val mutable bbox : GPack.box option
    val mutable currpos : float * float * float
    val mutable currprec : float
    val mutable currscale : float
    val mutable currtau : float
    val datas : Alldatas.alldatas
    val mutable evbox : GBin.event_box option
    val fullcontener : GPack.box
    val mutable glspace : Guigl.glspace option
    val mutable map : Guiminimap.minimap option
    val mutable minibox : draggable_content option
    val mutable rightspace : GPack.box option
    val tabmanager : GPack.notebook
    val tabtitle : GMisc.label
    val mutable temp_colorsval : string
    val mutable temp_contour : string
    val mutable temp_general : string
    val mutable temp_obj : string
    val tools : GButton.toolbar
    method activate : string -> unit
    method best_show : unit -> unit
    method can_save_something : bool
    method ch_colors : ((int * int * int) * float) list -> unit -> unit
    method changetauscale :
      (float * float) array array ->
      float array array ->
      int -> int -> float -> float -> float -> unit -> unit
    method private cpyfile : string -> string -> unit
    method focus : unit -> unit
    method get_dir : float * float * float
    method init : unit -> unit
    method init_fullmode : float -> float -> float -> unit
    method poschange : int -> float * float * float -> bool -> unit
    method print_focus : unit -> string
    method print_pos : float * float * float -> string
    method push : string -> unit
    method save_alt : string -> unit
    method save_contour : string -> unit
    method save_obj : string -> unit
    method set_pos_dir :
      (float * float * float) * (float * float * float) -> unit
    method set_speed : float -> unit
    method show_back : unit -> unit
    method show_center : unit -> unit
    method show_down : unit -> unit
    method show_front : unit -> unit
    method show_l : unit -> unit
    method show_r : unit -> unit
    method show_up : unit -> unit
    method switch_to_edit_mode : unit
    method switch_to_normalmode : unit -> unit
    method switch_to_pickcolormode : unit
    method switch_to_viewmode : unit -> unit
  end
val badFile : unit -> unit
exception Truc
val select_file :
  < destroy : unit -> 'a; .. > ->
  GPack.notebook ->
  GMisc.statusbar -> GButton.toolbar -> 'b -> string -> unit
val open_map :
  GPack.notebook -> GMisc.statusbar -> GButton.toolbar -> 'a -> unit -> unit
val save_object : (string -> unit) -> string -> unit
val export_file : int -> unit -> unit
val fileEntries :
  GPack.notebook ->
  GMisc.statusbar ->
  GButton.toolbar -> [> `I of string * (unit -> unit) | `S ] list
val addMenu :
  string -> < append : GMenu.menu_item -> unit; .. > -> GMenu.menu
val mainMenu :
  GPack.notebook -> GMisc.statusbar -> GButton.toolbar -> GMenu.menu_shell
val to_viewmode :
  bool ref ->
  mapenv list ref ->
  GButton.toolbar ->
  GMenu.menu_shell -> GPack.notebook -> GMisc.statusbar -> unit -> unit
val initToolbar : GButton.toolbar -> unit -> unit
val tools : unit -> GButton.toolbar
val destroy_current_tab : GPack.notebook -> unit -> unit
val ongletsManager : unit -> GPack.notebook
val status : unit -> GMisc.statusbar
val try_add_env :
  bool ref ->
  GPack.notebook -> GMisc.statusbar -> GButton.toolbar -> string -> unit
val mainp : bool -> string option -> string option -> unit -> unit
val correctnoise : string -> unit
val oplist : (Arg.key * Arg.spec * Arg.doc) list
val main : unit -> 'a
